satisfiability procedure
可满足性过程
热门查询
- the web [网络] 网；网页；网络
- infuriatingly adv. 令人发怒地；令人气愤地
- ganglion n. [组织] 神经节；[医] 腱鞘囊肿
- maddeningly adv. 使人恼火地；令人发狂地
- phonographic adj. 留声机的；速记的
- percival n. 珀西瓦尔（男子名）
- lair n. （野兽的）[动] 巢穴；躲藏处 vi. 进入兽穴；在穴中休息 vt. 使陷入泥潭；放于穴中 n. (Lair)人名；(英、法)莱尔
- detect vt. 察觉；发现；探测
- Armitage n. (Armitage)人名；(英)阿米蒂奇
- auxiliary n. 助动词；辅助者，辅助物；附属机构 adj. 辅助的；副的；附加的
- repress vt. 抑制；镇压（叛乱等）；约束 vi. 抑制；镇压
- uninsulated adj. [电] 未绝缘的；未保温的，不保温的
- skittle n. 撞柱游戏的木柱；九柱游戏用的小柱
- bombardment n. 轰炸；炮击
- calibrate vt. 校正；调整；测定口径
- fondle vt. 爱抚；抚弄 vi. 爱抚；调戏
- ej [医][=ejaculation]射精
- TriStar n. 三星牌旅行车
- Luanda n. 罗安达（安哥拉首都）
- childrearing n. 抚养孩子
